#!/usr/bin/env sh

RELPATH=`dirname $0`
java -classpath "$CLASSPATH:$RELPATH/../bin/:$RELPATH/../lib/*" -Xmx768M org.sosy_lab.ccvisu.CCVisu -outFormat DISP -inFormat LAY -minVert 2 -i $*
